Calculus of structures - PDFSEARCH.IO - Document Search Engine

Calculus of structures
Results: 64

#	Item
21	TREATMENT OF THE INTERFACE BETWEEN FINE ELASTIC STRUCTURES AND FLUIDS Add to Reading List Source URL: www-m6.ma.tum.de Language: English - Date: 2005-02-22 06:52:04 Wave mechanics Physical oceanography Fluid dynamics Partial differential equations Viscosity Navier–Stokes equations Dispersion Wavelength Symbol Physics Calculus Water waves
22	Ordered Sets in the Calculus of Data Structures Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-06-07 15:38:49 Metalogic Model theory Elementary mathematics Formal languages Function Finite set Infinity Quantifier elimination Set Mathematics Logic Mathematical logic
23	International Journal of Solids and Structures±1148 www.elsevier.com/locate/ijsolstr Macro- and micro-cracking in one-dimensional elasticity Gianpietro Del Piero a, Lev Truskinovsky b,* Add to Reading List Source URL: hera.polytechnique.fr Language: English - Date: 2011-05-26 06:03:33 Surface chemistry Fracture mechanics Subadditivity Calculus of variations Convex function H0 Surface energy Lp space Mathematical analysis Mathematics Convex analysis
24	Rigorous Analysis of Gratings with VirtualLab™ and JCMsuite Fourier Modal and Finite Element Methods for the accurate analysis of nano-structures The analysis of gratings with feature sizes in the range of the waveleng Add to Reading List Source URL: www.lighttrans.com Language: English - Date: 2013-06-05 09:12:27 Partial differential equations Transport Numerical analysis Drainage Grating Pavements Fiber Bragg grating Calculus Mathematical analysis Finite element method
25	Abstract program structures for correct reﬁnement Michael Butler University of Southampton users.ecs.soton.ac.uk/mjb Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 WBUF Calculus
26	Preface This course on the nonlinear analysis of solids and structures can be thought of as a continuation of the course on the linear analysis of solids and structures (see Finite Element Procedures for Solids and Struc Add to Reading List Source URL: www.adina.com Language: English - Date: 2015-01-30 13:10:20 Numerical analysis Finite element method Mathematical analysis MIT OpenCourseWare Nonlinear system ADINA Klaus-Jürgen Bathe Calculus Partial differential equations
27	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
28	INTEGRATED ALGEBRA The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION INTEGRATED ALGEBRA Add to Reading List Source URL: www.jmap.org Language: English - Date: 2015-01-24 23:30:59 Elliptic curve cryptography Elliptic curves Algebraic structures Differential calculus Linear differential equation Maple Algebra Mathematics Linear algebra
29	An Observational Theory of Imperative Concurrent Data Structures in the π-Calculus Luca Fossati Kohei Honda Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 04:42:39 Concurrency control Synchronization Concurrent computing Theoretical computer science Π-calculus Non-blocking algorithm Parallel computing Concurrent data structure Calculus Process calculi Computing Concurrency
30	Motivation The operations and control structures of imperative languages are strongly influenced by the way most real computer hardware works. This makes imperative languages relatively easy to compile, but (arguably) le Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-21 06:00:00 Procedural programming languages Evaluation strategy Eval ALGOL 68 Conditional Function Parameter Lazy evaluation Lambda calculus Software engineering Computing Computer programming